<HTML>
	<HEAD>
		<TITLE>The highlight button</TITLE>
	</HEAD>
	
	<BODY TEXT="black">
	<B>The highlight button</FONT><BR></B>
		
	<BR> The 'Highlight' button changes the border color and size of the instance elements in the current diagram so that the instance can be easily identified. The color can be changed via a dedicated button. The check boxes on the right-hand side ('Nodes', 'Ports', 'Edges') allow filtering which kinds of graphical elements must be highlighted. <BR>

	<BR> In the figure below, one among three instances of the same pattern has been highlighted in red.<BR> 
	
	<BR> <IMG SRC="images/instance_17.jpg"><BR><BR>	

	</BODY>
</HTML>